1. Applied Formal Methods FM-Trends 98
Author: \ [Edited by] Dieter Hutter...[et.al]
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Formal methods (Computer science) -- Congresses.,روشهای صوری (کامپیوتر) -- کنگره ها
Classification :
E-Book
,
